Libro
|
Desenvolvimento sistemático de programas corretos: a abordagem denotacional
|
Martins, Raul César Baptista
|
1a ed.
(1988)
|
|
----------
|
Programa de estudio
|
Fundamentos de Teoría de la Computación
|
Pons, Claudia Fabiana
|
(2019)
|
|
----------
|
Libro
|
Fundamentos de informática: lógica, resolución de problemas, programas y computadoras
|
Sin autor
|
1a ed.
(c1994)
|
Domicilio
|
----------
|
Libro
|
Introducción a la lógica
|
Copi, Irving Marmer
|
32a ed.
(1992)
|
|
----------
|
Libro
|
Introducción a la teoría de conjuntos
|
Oubiña, Lía
|
8a ed.
(1976)
|
Domicilio
|
----------
|
Libro
|
Introduction to mathematical logic:
|
Mendelson, Elliott
|
5th ed.
(c2010)
|
Domicilio
|
----------
|
Libro
|
Introduçao à lógica
|
Nérici, Imideo Giuseppe
|
6a. ed.
(1981)
|
Domicilio
|
----------
|
Libro
|
Logic for computer science: foundations of automatic theorem proving
|
Gallier, Jean H.
|
1st ed.
(c1987)
|
Domicilio
|
----------
|
Libro
|
Logic for mathematicians
|
Hamilton, A. G.
|
Rev. ed., repr.
(2000)
|
Domicilio
|
----------
|
Libro
|
Lógica para matemáticos:
|
Hamilton, A. G.
|
(1981)
|
Domicilio
|
|